I. Shillito, I. van der Giessen, R. Goré, R. Iemhoff; 2023; "A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised" - Internet Explorer 2.0

I. Shillito, I. van der Giessen, R. Goré, R. Iemhoff; 2023; "A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised"

https://arxiv.org/abs/2309.00486

Authors

Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff

Keywords

直観主義証明可能性論理，カット除去定理，Backward証明探索

その他：Coq